package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedUnsimplifiedTestsBug3 extends TestCase {
	public void test12() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var1 = com.domainlanguage.money.Money.euros((double)var0);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.hours((int)var2);
	    java.lang.Integer var4 = new java.lang.Integer(0);
	    java.lang.Integer var5 = new java.lang.Integer(100);
	    java.lang.Integer var6 = new java.lang.Integer(1);
	    java.lang.Integer var7 = new java.lang.Integer(1);
	    java.lang.Integer var8 = new java.lang.Integer(100);
	    java.lang.Integer var9 = new java.lang.Integer((-1));
	    java.lang.Integer var10 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var11 = com.domainlanguage.time.TimePoint.atGMT((int)var4, (int)var5, (int)var6, (int)var7, (int)var8, (int)var9, (int)var10);
	    com.domainlanguage.time.Duration var12 = com.domainlanguage.time.Duration.days((int)var4);
	    java.lang.Integer var13 = new java.lang.Integer(10);
	    java.lang.Integer var14 = new java.lang.Integer(0);
	    java.lang.Integer var15 = new java.lang.Integer(100);
	    java.lang.Integer var16 = new java.lang.Integer(1);
	    java.lang.Integer var17 = new java.lang.Integer(1);
	    java.lang.Integer var18 = new java.lang.Integer(100);
	    java.lang.Integer var19 = new java.lang.Integer((-1));
	    java.lang.Integer var20 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var21 = com.domainlanguage.time.TimePoint.atGMT((int)var14, (int)var15, (int)var16, (int)var17, (int)var18, (int)var19, (int)var20);
	    com.domainlanguage.time.Duration var22 = com.domainlanguage.time.Duration.days((int)var14);
	    java.lang.Long var23 = new java.lang.Long(100L);
	    com.domainlanguage.time.Duration var24 = com.domainlanguage.time.Duration.daysHoursMinutesSecondsMilliseconds((int)var2, (int)var4, (int)var13, (int)var14, (long)var23);
	    com.domainlanguage.time.Duration var25 = com.domainlanguage.time.Duration.seconds((int)var2);
	    com.domainlanguage.time.TimeRate var26 = new com.domainlanguage.time.TimeRate(var0, var25);
	    java.lang.Double var27 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var28 = com.domainlanguage.money.Money.euros((double)var27);
	    java.lang.Integer var29 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var30 = com.domainlanguage.time.Duration.hours((int)var29);
	    java.lang.Integer var31 = new java.lang.Integer(0);
	    java.lang.Integer var32 = new java.lang.Integer(100);
	    java.lang.Integer var33 = new java.lang.Integer(1);
	    java.lang.Integer var34 = new java.lang.Integer(1);
	    java.lang.Integer var35 = new java.lang.Integer(100);
	    java.lang.Integer var36 = new java.lang.Integer((-1));
	    java.lang.Integer var37 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var38 = com.domainlanguage.time.TimePoint.atGMT((int)var31, (int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37);
	    com.domainlanguage.time.Duration var39 = com.domainlanguage.time.Duration.days((int)var31);
	    java.lang.Integer var40 = new java.lang.Integer(10);
	    java.lang.Integer var41 = new java.lang.Integer(0);
	    java.lang.Integer var42 = new java.lang.Integer(100);
	    java.lang.Integer var43 = new java.lang.Integer(1);
	    java.lang.Integer var44 = new java.lang.Integer(1);
	    java.lang.Integer var45 = new java.lang.Integer(100);
	    java.lang.Integer var46 = new java.lang.Integer((-1));
	    java.lang.Integer var47 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var48 = com.domainlanguage.time.TimePoint.atGMT((int)var41, (int)var42, (int)var43, (int)var44, (int)var45, (int)var46, (int)var47);
	    com.domainlanguage.time.Duration var49 = com.domainlanguage.time.Duration.days((int)var41);
	    java.lang.Long var50 = new java.lang.Long(100L);
	    com.domainlanguage.time.Duration var51 = com.domainlanguage.time.Duration.daysHoursMinutesSecondsMilliseconds((int)var29, (int)var31, (int)var40, (int)var41, (long)var50);
	    com.domainlanguage.time.Duration var52 = com.domainlanguage.time.Duration.seconds((int)var29);
	    com.domainlanguage.time.TimeRate var53 = new com.domainlanguage.time.TimeRate(var27, var52);
	    java.lang.String var54 = var53.toString();
	    int var55 = var53.scale();
	    java.lang.Double var56 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var57 = com.domainlanguage.money.Money.euros((double)var56);
	    java.lang.Integer var58 = new java.lang.Integer(0);
	    java.lang.Integer var59 = new java.lang.Integer(100);
	    java.lang.Integer var60 = new java.lang.Integer(1);
	    java.lang.Integer var61 = new java.lang.Integer(1);
	    java.lang.Integer var62 = new java.lang.Integer(100);
	    java.lang.Integer var63 = new java.lang.Integer((-1));
	    java.lang.Integer var64 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var65 = com.domainlanguage.time.TimePoint.atGMT((int)var58, (int)var59, (int)var60, (int)var61, (int)var62, (int)var63, (int)var64);
	    com.domainlanguage.money.Money var66 = var57.times((int)var64);
	    java.lang.Double var67 = new java.lang.Double(0.0d);
	    com.domainlanguage.money.Money var68 = com.domainlanguage.money.Money.euros((double)var67);
	    java.lang.Integer var69 = new java.lang.Integer(0);
	    java.lang.Integer var70 = new java.lang.Integer(100);
	    java.lang.Integer var71 = new java.lang.Integer(1);
	    java.lang.Integer var72 = new java.lang.Integer(1);
	    java.lang.Integer var73 = new java.lang.Integer(100);
	    java.lang.Integer var74 = new java.lang.Integer((-1));
	    java.lang.Integer var75 = new java.lang.Integer((-1));
	    com.domainlanguage.time.TimePoint var76 = com.domainlanguage.time.TimePoint.atGMT((int)var69, (int)var70, (int)var71, (int)var72, (int)var73, (int)var74, (int)var75);
	    com.domainlanguage.money.Money var77 = var68.times((int)var75);
	    boolean var78 = var66.isLessThan(var68);
	    java.lang.Integer var79 = new java.lang.Integer((-1));
	    com.domainlanguage.money.Money var80 = var68.times((int)var79);
	    java.math.BigDecimal var81 = var80.breachEncapsulationOfAmount();
	    com.domainlanguage.money.Money var82 = com.domainlanguage.money.Money.dollars(var81);
	    java.lang.Integer var83 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var84 = com.domainlanguage.time.Duration.hours((int)var83);
	    com.domainlanguage.time.TimeRate var85 = new com.domainlanguage.time.TimeRate(var81, var84);
	    boolean var86 = var53.equals(var85);
	    boolean var87 = var26.equals(var53);
	    
	    // Checks the contract:  equals-hashcode on var26 and var53
	    assertTrue("Contract failed: equals-hashcode on var26 and var53", var26.equals(var53) ? var26.hashCode() == var53.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var53 and var26
	    assertTrue("Contract failed: equals-hashcode on var53 and var26", var53.equals(var26) ? var53.hashCode() == var26.hashCode() : true);

	  }
	
	 public void test17() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    com.domainlanguage.money.Money var1 = com.domainlanguage.money.Money.euros((double)var0);
		    java.lang.Integer var2 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.hours((int)var2);
		    java.lang.Integer var4 = new java.lang.Integer(0);
		    java.lang.Integer var5 = new java.lang.Integer(100);
		    java.lang.Integer var6 = new java.lang.Integer(1);
		    java.lang.Integer var7 = new java.lang.Integer(1);
		    java.lang.Integer var8 = new java.lang.Integer(100);
		    java.lang.Integer var9 = new java.lang.Integer((-1));
		    java.lang.Integer var10 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var11 = com.domainlanguage.time.TimePoint.atGMT((int)var4, (int)var5, (int)var6, (int)var7, (int)var8, (int)var9, (int)var10);
		    com.domainlanguage.time.Duration var12 = com.domainlanguage.time.Duration.days((int)var4);
		    java.lang.Integer var13 = new java.lang.Integer(10);
		    java.lang.Integer var14 = new java.lang.Integer(0);
		    java.lang.Integer var15 = new java.lang.Integer(100);
		    java.lang.Integer var16 = new java.lang.Integer(1);
		    java.lang.Integer var17 = new java.lang.Integer(1);
		    java.lang.Integer var18 = new java.lang.Integer(100);
		    java.lang.Integer var19 = new java.lang.Integer((-1));
		    java.lang.Integer var20 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var21 = com.domainlanguage.time.TimePoint.atGMT((int)var14, (int)var15, (int)var16, (int)var17, (int)var18, (int)var19, (int)var20);
		    com.domainlanguage.time.Duration var22 = com.domainlanguage.time.Duration.days((int)var14);
		    java.lang.Long var23 = new java.lang.Long(100L);
		    com.domainlanguage.time.Duration var24 = com.domainlanguage.time.Duration.daysHoursMinutesSecondsMilliseconds((int)var2, (int)var4, (int)var13, (int)var14, (long)var23);
		    com.domainlanguage.time.Duration var25 = com.domainlanguage.time.Duration.seconds((int)var2);
		    com.domainlanguage.time.TimeRate var26 = new com.domainlanguage.time.TimeRate(var0, var25);
		    java.lang.String var27 = var26.toString();
		    int var28 = var26.scale();
		    java.lang.Integer var29 = new java.lang.Integer(0);
		    java.lang.Integer var30 = new java.lang.Integer(100);
		    java.lang.Integer var31 = new java.lang.Integer(1);
		    java.lang.Integer var32 = new java.lang.Integer(1);
		    java.lang.Integer var33 = new java.lang.Integer(100);
		    java.lang.Integer var34 = new java.lang.Integer((-1));
		    java.lang.Integer var35 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var36 = com.domainlanguage.time.TimePoint.atGMT((int)var29, (int)var30, (int)var31, (int)var32, (int)var33, (int)var34, (int)var35);
		    boolean var37 = var26.equals((java.lang.Object)var34);
		    int var38 = var26.scale();
		    java.lang.Double var39 = new java.lang.Double(0.0d);
		    com.domainlanguage.money.Money var40 = com.domainlanguage.money.Money.euros((double)var39);
		    java.lang.Integer var41 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var42 = com.domainlanguage.time.Duration.hours((int)var41);
		    java.lang.Integer var43 = new java.lang.Integer(0);
		    java.lang.Integer var44 = new java.lang.Integer(100);
		    java.lang.Integer var45 = new java.lang.Integer(1);
		    java.lang.Integer var46 = new java.lang.Integer(1);
		    java.lang.Integer var47 = new java.lang.Integer(100);
		    java.lang.Integer var48 = new java.lang.Integer((-1));
		    java.lang.Integer var49 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var50 = com.domainlanguage.time.TimePoint.atGMT((int)var43, (int)var44, (int)var45, (int)var46, (int)var47, (int)var48, (int)var49);
		    com.domainlanguage.time.Duration var51 = com.domainlanguage.time.Duration.days((int)var43);
		    java.lang.Integer var52 = new java.lang.Integer(10);
		    java.lang.Integer var53 = new java.lang.Integer(0);
		    java.lang.Integer var54 = new java.lang.Integer(100);
		    java.lang.Integer var55 = new java.lang.Integer(1);
		    java.lang.Integer var56 = new java.lang.Integer(1);
		    java.lang.Integer var57 = new java.lang.Integer(100);
		    java.lang.Integer var58 = new java.lang.Integer((-1));
		    java.lang.Integer var59 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var60 = com.domainlanguage.time.TimePoint.atGMT((int)var53, (int)var54, (int)var55, (int)var56, (int)var57, (int)var58, (int)var59);
		    com.domainlanguage.time.Duration var61 = com.domainlanguage.time.Duration.days((int)var53);
		    java.lang.Long var62 = new java.lang.Long(100L);
		    com.domainlanguage.time.Duration var63 = com.domainlanguage.time.Duration.daysHoursMinutesSecondsMilliseconds((int)var41, (int)var43, (int)var52, (int)var53, (long)var62);
		    com.domainlanguage.time.Duration var64 = com.domainlanguage.time.Duration.seconds((int)var41);
		    com.domainlanguage.time.TimeRate var65 = new com.domainlanguage.time.TimeRate(var39, var64);
		    java.lang.String var66 = var65.toString();
		    int var67 = var65.scale();
		    java.lang.Integer var68 = new java.lang.Integer(0);
		    java.lang.Integer var69 = new java.lang.Integer(100);
		    java.lang.Integer var70 = new java.lang.Integer(1);
		    java.lang.Integer var71 = new java.lang.Integer(1);
		    java.lang.Integer var72 = new java.lang.Integer(100);
		    java.lang.Integer var73 = new java.lang.Integer((-1));
		    java.lang.Integer var74 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var75 = com.domainlanguage.time.TimePoint.atGMT((int)var68, (int)var69, (int)var70, (int)var71, (int)var72, (int)var73, (int)var74);
		    boolean var76 = var65.equals((java.lang.Object)var73);
		    java.lang.String var77 = var65.toString();
		    boolean var78 = var26.equals(var65);
		    
		    // Checks the contract:  equals-hashcode on var26 and var65
		    assertTrue("Contract failed: equals-hashcode on var26 and var65", var26.equals(var65) ? var26.hashCode() == var65.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var65 and var26
		    assertTrue("Contract failed: equals-hashcode on var65 and var26", var65.equals(var26) ? var65.hashCode() == var26.hashCode() : true);

		  }

		  public void test18() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    com.domainlanguage.money.Money var1 = com.domainlanguage.money.Money.euros((double)var0);
		    java.lang.Integer var2 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.hours((int)var2);
		    java.lang.Integer var4 = new java.lang.Integer(0);
		    java.lang.Integer var5 = new java.lang.Integer(100);
		    java.lang.Integer var6 = new java.lang.Integer(1);
		    java.lang.Integer var7 = new java.lang.Integer(1);
		    java.lang.Integer var8 = new java.lang.Integer(100);
		    java.lang.Integer var9 = new java.lang.Integer((-1));
		    java.lang.Integer var10 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var11 = com.domainlanguage.time.TimePoint.atGMT((int)var4, (int)var5, (int)var6, (int)var7, (int)var8, (int)var9, (int)var10);
		    com.domainlanguage.time.Duration var12 = com.domainlanguage.time.Duration.days((int)var4);
		    java.lang.Integer var13 = new java.lang.Integer(10);
		    java.lang.Integer var14 = new java.lang.Integer(0);
		    java.lang.Integer var15 = new java.lang.Integer(100);
		    java.lang.Integer var16 = new java.lang.Integer(1);
		    java.lang.Integer var17 = new java.lang.Integer(1);
		    java.lang.Integer var18 = new java.lang.Integer(100);
		    java.lang.Integer var19 = new java.lang.Integer((-1));
		    java.lang.Integer var20 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var21 = com.domainlanguage.time.TimePoint.atGMT((int)var14, (int)var15, (int)var16, (int)var17, (int)var18, (int)var19, (int)var20);
		    com.domainlanguage.time.Duration var22 = com.domainlanguage.time.Duration.days((int)var14);
		    java.lang.Long var23 = new java.lang.Long(100L);
		    com.domainlanguage.time.Duration var24 = com.domainlanguage.time.Duration.daysHoursMinutesSecondsMilliseconds((int)var2, (int)var4, (int)var13, (int)var14, (long)var23);
		    com.domainlanguage.time.Duration var25 = com.domainlanguage.time.Duration.seconds((int)var2);
		    com.domainlanguage.time.TimeRate var26 = new com.domainlanguage.time.TimeRate(var0, var25);
		    java.lang.String var27 = var26.toString();
		    java.lang.Double var28 = new java.lang.Double(0.0d);
		    com.domainlanguage.money.Money var29 = com.domainlanguage.money.Money.euros((double)var28);
		    java.lang.Integer var30 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var31 = com.domainlanguage.time.Duration.hours((int)var30);
		    java.lang.Integer var32 = new java.lang.Integer(0);
		    java.lang.Integer var33 = new java.lang.Integer(100);
		    java.lang.Integer var34 = new java.lang.Integer(1);
		    java.lang.Integer var35 = new java.lang.Integer(1);
		    java.lang.Integer var36 = new java.lang.Integer(100);
		    java.lang.Integer var37 = new java.lang.Integer((-1));
		    java.lang.Integer var38 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var39 = com.domainlanguage.time.TimePoint.atGMT((int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37, (int)var38);
		    com.domainlanguage.time.Duration var40 = com.domainlanguage.time.Duration.days((int)var32);
		    java.lang.Integer var41 = new java.lang.Integer(10);
		    java.lang.Integer var42 = new java.lang.Integer(0);
		    java.lang.Integer var43 = new java.lang.Integer(100);
		    java.lang.Integer var44 = new java.lang.Integer(1);
		    java.lang.Integer var45 = new java.lang.Integer(1);
		    java.lang.Integer var46 = new java.lang.Integer(100);
		    java.lang.Integer var47 = new java.lang.Integer((-1));
		    java.lang.Integer var48 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var49 = com.domainlanguage.time.TimePoint.atGMT((int)var42, (int)var43, (int)var44, (int)var45, (int)var46, (int)var47, (int)var48);
		    com.domainlanguage.time.Duration var50 = com.domainlanguage.time.Duration.days((int)var42);
		    java.lang.Long var51 = new java.lang.Long(100L);
		    com.domainlanguage.time.Duration var52 = com.domainlanguage.time.Duration.daysHoursMinutesSecondsMilliseconds((int)var30, (int)var32, (int)var41, (int)var42, (long)var51);
		    com.domainlanguage.time.Duration var53 = com.domainlanguage.time.Duration.seconds((int)var30);
		    com.domainlanguage.time.TimeRate var54 = new com.domainlanguage.time.TimeRate(var28, var53);
		    java.lang.String var55 = var54.toString();
		    int var56 = var54.scale();
		    java.lang.Integer var57 = new java.lang.Integer(0);
		    java.lang.Integer var58 = new java.lang.Integer(100);
		    java.lang.Integer var59 = new java.lang.Integer(1);
		    java.lang.Integer var60 = new java.lang.Integer(1);
		    java.lang.Integer var61 = new java.lang.Integer(100);
		    java.lang.Integer var62 = new java.lang.Integer((-1));
		    java.lang.Integer var63 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var64 = com.domainlanguage.time.TimePoint.atGMT((int)var57, (int)var58, (int)var59, (int)var60, (int)var61, (int)var62, (int)var63);
		    boolean var65 = var54.equals((java.lang.Object)var62);
		    java.lang.String var66 = var54.toString();
		    int var67 = var54.scale();
		    boolean var68 = var26.equals(var54);
		    
		    // Checks the contract:  equals-hashcode on var26 and var54
		    assertTrue("Contract failed: equals-hashcode on var26 and var54", var26.equals(var54) ? var26.hashCode() == var54.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var54 and var26
		    assertTrue("Contract failed: equals-hashcode on var54 and var26", var54.equals(var26) ? var54.hashCode() == var26.hashCode() : true);

		  }

		  public void test19() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    com.domainlanguage.money.Money var1 = com.domainlanguage.money.Money.euros((double)var0);
		    java.lang.Integer var2 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.hours((int)var2);
		    java.lang.Integer var4 = new java.lang.Integer(0);
		    java.lang.Integer var5 = new java.lang.Integer(100);
		    java.lang.Integer var6 = new java.lang.Integer(1);
		    java.lang.Integer var7 = new java.lang.Integer(1);
		    java.lang.Integer var8 = new java.lang.Integer(100);
		    java.lang.Integer var9 = new java.lang.Integer((-1));
		    java.lang.Integer var10 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var11 = com.domainlanguage.time.TimePoint.atGMT((int)var4, (int)var5, (int)var6, (int)var7, (int)var8, (int)var9, (int)var10);
		    com.domainlanguage.time.Duration var12 = com.domainlanguage.time.Duration.days((int)var4);
		    java.lang.Integer var13 = new java.lang.Integer(10);
		    java.lang.Integer var14 = new java.lang.Integer(0);
		    java.lang.Integer var15 = new java.lang.Integer(100);
		    java.lang.Integer var16 = new java.lang.Integer(1);
		    java.lang.Integer var17 = new java.lang.Integer(1);
		    java.lang.Integer var18 = new java.lang.Integer(100);
		    java.lang.Integer var19 = new java.lang.Integer((-1));
		    java.lang.Integer var20 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var21 = com.domainlanguage.time.TimePoint.atGMT((int)var14, (int)var15, (int)var16, (int)var17, (int)var18, (int)var19, (int)var20);
		    com.domainlanguage.time.Duration var22 = com.domainlanguage.time.Duration.days((int)var14);
		    java.lang.Long var23 = new java.lang.Long(100L);
		    com.domainlanguage.time.Duration var24 = com.domainlanguage.time.Duration.daysHoursMinutesSecondsMilliseconds((int)var2, (int)var4, (int)var13, (int)var14, (long)var23);
		    com.domainlanguage.time.Duration var25 = com.domainlanguage.time.Duration.seconds((int)var2);
		    com.domainlanguage.time.TimeRate var26 = new com.domainlanguage.time.TimeRate(var0, var25);
		    java.lang.Double var27 = new java.lang.Double(0.0d);
		    com.domainlanguage.money.Money var28 = com.domainlanguage.money.Money.euros((double)var27);
		    java.lang.Integer var29 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var30 = com.domainlanguage.time.Duration.hours((int)var29);
		    java.lang.Integer var31 = new java.lang.Integer(0);
		    java.lang.Integer var32 = new java.lang.Integer(100);
		    java.lang.Integer var33 = new java.lang.Integer(1);
		    java.lang.Integer var34 = new java.lang.Integer(1);
		    java.lang.Integer var35 = new java.lang.Integer(100);
		    java.lang.Integer var36 = new java.lang.Integer((-1));
		    java.lang.Integer var37 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var38 = com.domainlanguage.time.TimePoint.atGMT((int)var31, (int)var32, (int)var33, (int)var34, (int)var35, (int)var36, (int)var37);
		    com.domainlanguage.time.Duration var39 = com.domainlanguage.time.Duration.days((int)var31);
		    java.lang.Integer var40 = new java.lang.Integer(10);
		    java.lang.Integer var41 = new java.lang.Integer(0);
		    java.lang.Integer var42 = new java.lang.Integer(100);
		    java.lang.Integer var43 = new java.lang.Integer(1);
		    java.lang.Integer var44 = new java.lang.Integer(1);
		    java.lang.Integer var45 = new java.lang.Integer(100);
		    java.lang.Integer var46 = new java.lang.Integer((-1));
		    java.lang.Integer var47 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var48 = com.domainlanguage.time.TimePoint.atGMT((int)var41, (int)var42, (int)var43, (int)var44, (int)var45, (int)var46, (int)var47);
		    com.domainlanguage.time.Duration var49 = com.domainlanguage.time.Duration.days((int)var41);
		    java.lang.Long var50 = new java.lang.Long(100L);
		    com.domainlanguage.time.Duration var51 = com.domainlanguage.time.Duration.daysHoursMinutesSecondsMilliseconds((int)var29, (int)var31, (int)var40, (int)var41, (long)var50);
		    com.domainlanguage.time.Duration var52 = com.domainlanguage.time.Duration.seconds((int)var29);
		    com.domainlanguage.time.TimeRate var53 = new com.domainlanguage.time.TimeRate(var27, var52);
		    java.lang.String var54 = var53.toString();
		    int var55 = var53.scale();
		    java.lang.Integer var56 = new java.lang.Integer(0);
		    java.lang.Integer var57 = new java.lang.Integer(100);
		    java.lang.Integer var58 = new java.lang.Integer(1);
		    java.lang.Integer var59 = new java.lang.Integer(1);
		    java.lang.Integer var60 = new java.lang.Integer(100);
		    java.lang.Integer var61 = new java.lang.Integer((-1));
		    java.lang.Integer var62 = new java.lang.Integer((-1));
		    com.domainlanguage.time.TimePoint var63 = com.domainlanguage.time.TimePoint.atGMT((int)var56, (int)var57, (int)var58, (int)var59, (int)var60, (int)var61, (int)var62);
		    boolean var64 = var53.equals((java.lang.Object)var61);
		    java.lang.String var65 = var53.toString();
		    boolean var66 = var26.equals(var53);
		    
		    // Checks the contract:  equals-hashcode on var26 and var53
		    assertTrue("Contract failed: equals-hashcode on var26 and var53", var26.equals(var53) ? var26.hashCode() == var53.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var53 and var26
		    assertTrue("Contract failed: equals-hashcode on var53 and var26", var53.equals(var26) ? var53.hashCode() == var26.hashCode() : true);

		  }
}
